A Visual Formalism for Interacting Systems

Interacting systems are increasingly common. Many examples pervade our everyday lives: automobiles, aircraft, defense systems, telephone switching systems, financial systems, national governments, and so on. Closer to computer science, embedded systems and Systems of Systems are further examples of interacting systems. Common to all of these is that some "whole" is made up of constituent parts, and these parts interact with each other. By design, these interactions are intentional, but it is the unintended interactions that are problematic. The Systems of Systems literature uses the terms "constituent systems" and "constituents" to refer to systems that interact with each other. That practice is followed here. This paper presents a visual formalism, Swim Lane Event-Driven Petri Nets, that is proposed as a basis for Model-Based Testing (MBT) of interacting systems. In the absence of available tools, this model can only support the offline form of Model-Based Testing.Comment: In Proceedings MBT 2015, arXiv:1504.0192

A New Species of \u3ci\u3eEuryurus\u3c/i\u3e From Southern Alabama and Remarks on the Status of \u3ci\u3eIlliniurus Beattyi\u3c/i\u3e Shear (Diplopoda: Polydesmida: Euryuridae).

A new species of polydesmidan millipede of the family Euryuridae, Euryurus lecythanoictes, is described. Another millipede of Euryuridae, Illiniurus beattyi Shear, is considered to be an aberrant specimen and therefore not a true species. The family taxonomic history of Euryuridae is briefly covered with a discussion of gonopod anatomy

Commuting self-adjoint extensions of symmetric operators defined from the partial derivatives

We consider the problem of finding commuting self-adjoint extensions of the partial derivatives {(1/i)(\partial/\partial x_j):j=1,...,d} with domain C_c^\infty(\Omega) where the self-adjointness is defined relative to L^2(\Omega), and \Omega is a given open subset of R^d. The measure on \Omega is Lebesgue measure on R^d restricted to \Omega. The problem originates with I.E. Segal and B. Fuglede, and is difficult in general. In this paper, we provide a representation-theoretic answer in the special case when \Omega=I\times\Omega_2 and I is an open interval. We then apply the results to the case when \Omega is a d-cube, I^d, and we describe possible subsets \Lambda of R^d such that {e^(i2\pi\lambda \dot x) restricted to I^d:\lambda\in\Lambda} is an orthonormal basis in L^2(I^d).Comment: LaTeX2e amsart class, 18 pages, 2 figures; PACS numbers 02.20.Km, 02.30.Nw, 02.30.Tb, 02.60.-x, 03.65.-w, 03.65.Bz, 03.65.Db, 61.12.Bt, 61.44.B

Redshift-distance Survey of Early-type Galaxies: The D_n-sigma Relation

In this paper R-band photometric and velocity dispersion measurements for a sample of 452 elliptical and S0 galaxies in 28 clusters are used to construct a template D_n-sigma relation. This template relation is constructed by combining the data from the 28 clusters, under the assumption that galaxies in different clusters have similar properties. The photometric and spectroscopic data used consist of new as well as published measurements, converted to a common system, as presented in a accompanying paper. The resulting direct relation, corrected for incompleteness bias, is log{D_n} =1.203 log{sigma} + 1.406; the zero-point has been defined by requiring distant clusters to be at rest relative to the CMB. This zero-point is consistent with the value obtained by using the distance to Virgo as determined by the Cepheid period-luminosity relation. This new D_n-sigma relation leads to a peculiar velocity of -72 (\pm 189) km/s for the Coma cluster. The scatter in the distance relation corresponds to a distance error of about 20%, comparable to the values obtained for the Fundamental Plane relation. Correlations between the scatter and residuals of the D_n-sigma relation with other parameters that characterize the cluster and/or the galaxy stellar population are also analyzed. The direct and inverse relations presented here have been used in recent studies of the peculiar velocity field mapped by the ENEAR all-sky sample.Comment: 46 pages, 20 figures, and 7 tables. To appear in AJ, vol. 123, no. 5, May 200

Redshift-Distance Survey of Early-type Galaxies. I. Sample Selection, Properties and Completeness

This is the first in a series of papers describing the recently completed all-sky redshift-distance survey of nearby early-type galaxies (ENEAR) carried out for peculiar velocity analysis. The sample is divided into two parts and consists of 1607 elliptical and lenticular galaxies with cz < 7000 km/s and with blue magnitudes brighter than m_B=14.5 (ENEARm), and of galaxies in clusters (ENEARc). Galaxy distances based on the Dn-sigma and Fundamental Plane (FP) relations are now available for 1359 and 1107 ENEARm galaxies, respectively, with roughly 80% based on new data gathered by our group. The Dn-sigma and FP template distance relations are derived by combining 569 and 431 galaxies in 28 clusters, respectively, of which about 60% are based on our new measurements. The ENEARm redshift-distance survey extends the earlier work of the 7S and the recent Tully-Fisher surveys sampling a comparable volume. In subsequent papers of this series we intend to use the ENEAR sample by itself or in combination with the SFI Tully-Fisher survey to analyze the properties of the local peculiar velocity field and to test how sensitive the results are to different sampling and to the distance indicators. We also anticipate that the homogeneous database assembled will be used for a variety of other applications and serve as a benchmark for similar studies at high-redshift.Comment: 43 pages, 15 figures, submitted to the Astronomical Journa

The Globular Cluster Systems in the Coma Ellipticals. III: The Unique Case of IC 4051

Using archival \hst WFPC2 data, we derive the metallicity distribution, luminosity function, and spatial structure of the globular cluster system around IC 4051, a giant E galaxy on the outskirts of the Coma cluster core. The metallicity distribution derived from the (V-I) colors has a mean [Fe/H] = -0.3, a near-complete lack of metal-poor clusters, and only a small metallicity gradient with radius; it may, however, have two roughly equal metallicity subcomponents, centered at [Fe/H] ~ 0.0 and -1.0. The luminosity distribution (GCLF) has the Gaussian-like form observed in all other giant E galaxies, with a peak (turnover) at V = 27.8, consistent with a Coma distance of 100 Mpc. The radial profiles of both the GCS and the halo light show an unusually steep falloff which may indicate that the halo of this galaxy has been tidally truncated. Lastly, the specific frequency of the GCS is remarkably large: we find S_N = 11 +- 2, resembling the central cD-type galaxies even though IC 4051 is not a cD or brightest cluster elliptical. A formation model consistent with most of the observations would be that this galaxy was subjected to removal of a large fraction of its protogalactic gas shortly after its main phase of globular cluster formation, probably by its first passage through the Coma core. Since then, no significant additions due to accretions or mergers have taken place.Comment: 24 pp. plus 13 Figures. Postscript file for the complete paper can also be downloaded from http://www.physun.mcmaster.ca/~harris/WEHarris.html. Astron.J., in pres

Infrared Spectra of Meteoritic SiC Grains

We present here the first infrared spectra of meteoritic SiC grains. The mid-infrared transmission spectra of meteoritic SiC grains isolated from the Murchison meteorite were measured in the wavelength range 2.5--16.5 micron, in order to make available the optical properties of presolar SiC grains. These grains are most likely stellar condensates with an origin predominately in carbon stars. Measurements were performed on two different extractions of presolar SiC from the Murchison meteorite. The two samples show very different spectral appearance due to different grain size distributions. The spectral feature of the smaller meteoritic SiC grains is a relatively broad absorption band found between the longitudinal and transverse lattice vibration modes around 11.3 micron, supporting the current interpretation about the presence of SiC grains in carbon stars. In contrast to this, the spectral feature of the large (> 5 micron) grains has an extinction minimum around 10 micron. The obtained spectra are compared with commercially available SiC grains and the differences are discussed. This comparison shows that the crystal structure (e.g., beta-SiC versus alpha-SiC) of SiC grains plays a minor role on the optical signature of SiC grains compared to e.g. grain size.Comment: 7 pages, 6 figures. To appear in A&

The Star Formation Epoch of the Most Massive Early-Type Galaxies

We present new Keck spectroscopy of early-type galaxies in three galaxy clusters at z~0.5. We focus on the fundamental plane (FP) relation, and combine the kinematics with structural parameters determined from HST images. The galaxies obey clear FP relations, which are offset from the FP of the nearby Coma cluster due to passive evolution of the stellar populations. The z~0.5 data are combined with published data for 11 additional clusters at 0.18<z<1.28, to determine the evolution of the mean M/L(B) ratio of cluster galaxies with masses M>10^11 M_sun, as implied by the FP. We find dlog(M/L(B))/dz = -0.555+-0.042, stronger evolution than was previously inferred from smaller samples. The observed evolution depends on the luminosity-weighted mean age of the stars in the galaxies, the initial mass function (IMF), selection effects due to progenitor bias, and other parameters. Assuming a normal IMF but allowing for various other sources of uncertainty we find z* = 2.01+-0.20 for the luminosity-weighted mean star formation epoch. The main uncertainty is the slope of the IMF in the range 1-2 Solar masses: we find z* = 4.0 for a top-heavy IMF with slope x=0. The M/L(B) ratios of the cluster galaxies are compared to those of recently published samples of field early-type galaxies at 0.32<z<1.14. Assuming that progenitor bias and the IMF do not depend on environment we find that the present-day age of stars in massive field galaxies is 4.1 +- 2.0 % (~0.4 Gyr) less than that of stars in massive cluster galaxies, consistent with most, but not all, previous studies of local and distant early-type galaxies. This relatively small age difference is surprising in the context of expectations from ``standard'' hierarchical galaxy formation models. [ABRIDGED]Comment: Accepted for publication in ApJ. Minor corrections to match published versio

The Possible z=0.83 Precursors of z=0 M* Early-type Cluster Galaxies

We examine the distribution of stellar masses of galaxies in MS 1054-03 and RX J0152.7-1357, two X-ray selected clusters of galaxies at z=0.83. Our stellar mass estimates, from spectral energy distribution fitting, reproduce the dynamical masses as measured from velocity dispersions and half-light radii with a scatter of 0.2 dex in the mass for early-type galaxies. When we restrict our sample of members to high stellar masses, > 1e11.1 Msun (M* in the Schechter mass function for cluster galaxies), we find that the fraction of early-type galaxies is 79 +/- 6% at z=0.83 and 87 +/- 6% at z=0.023 for the Coma cluster, consistent with no evolution. Previous work with luminosity-selected samples finds that the early-type fraction in rich clusters declines from =~80% at z=0 to =~60% at z=0.8. The observed evolution in the early-type fraction from luminosity-selected samples must predominately occur among sub-M* galaxies. As M* for field and group galaxies, especially late-types, is below M* for clusters galaxies, infall could explain most of the recent early-type fraction growth. Future surveys could determine the morphological distributions of lower mass systems which will confirm or refute this explanation.Comment: 5 pages in emulate ApJ format with three color figures. Accepted for publication in ApJ Letters, v642n2. Updated to correct grammatical and typographic errors found by the journa